Quantificational Modal Operators and Their Semantics
نویسندگان
چکیده
We study a system of modal logic for representing and reasoning in multi-agent systems. Building on dynamic action logic and Henkin quantifiers, we introduce a class of operators that present important features for capturing concurrency, independence, collaboration, and co-ordination between agents. The main goal of the paper is to introduce the formal semantics of these operators and to show how they can model different types of agents. This yields a way to directly compare a variety of phenomena in multi-agent systems. Some examples are given.
منابع مشابه
Quantificational Modal Logic with Sequential Kripke Semantics
We introduce quantificational modal operators as dynamic modalities with (extensions of) Henkin quantifiers as indices. The adoption of matrices of indices (with action identifiers, variables and/or quantified variables as entries) gives an expressive formalism which is here motivated with examples from the area of multi-agent systems. We study the formal properties of the resulting logic which...
متن کاملQuantificational logic and empty names
In a number of recent articles Timothy Williamson has built a strong case for the claim that everything necessarily exists. His argument rests on a combination of the derivability of this claim from quantificational logic, with standard modal principles and a robust understanding of the Kripke semantics for quantified modal logic. In this paper I defend a contingentist, non-Meinongian metaphysi...
متن کاملSemantic Reconstruction for how many-Questions in LTAG
In this paper, we show how to formalize reconstruction effects in an LTAG semantics. We derive a lexical entry and semantic specification for how many, which introduces two quantificational elements. We also show how they interact compositionally with other scopal items, e.g. modal and attitude verbs in a question. The use of an underspecified semantics allows the compact representation of scop...
متن کامل'Now' and 'Then' in Tense Logic
According to Hans Kamp and Frank Vlach, the two-dimensional tense operators “now” and “then” are ineliminable in quantified tense logic. This is often adduced as an argument against tense logic, and in favor of an extensional account that makes use of explicit quantification over times. The aim of this paper is to defend tense logic against this attack. It is shown that “now” and “then” are eli...
متن کاملStrict Comparison and Weak Necessity: The Case of Epistemic Yào in Mandarin Chinese
The epistemic use of yào in Mandarin Chinese, often translated as ‘should’ in English, shows certain interesting peculiarities. In this paper, I first describe the empirical properties of epistemic yào. The occurrence of epistemic yào is restricted only to certain comparative constructions, but forbidden in other degree constructions or non-degree constructions. It cannot appear above or below ...
متن کامل